F. Poggiolesi; 2009; "A Purely Syntatic and Cut-Free Sequent Calculus for the Modal Logic of Provability"